Benedikt Bollig: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Message-passing automata are expressively equivalent to EMSO logic

Benedikt Bollig, Martin Leucker

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 401 KB

english, 2006

2

Deciding LTL over Mazurkiewicz traces

Benedikt Bollig, Martin Leucker

Journal:

Data & Knowledge Engineering

Year:

2003

Language:

english

File:

PDF, 224 KB

english, 2003

3

Muller message-passing automata and logics

Benedikt Bollig, Dietrich Kuske

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 232 KB

english, 2008

4

An optimal construction of Hanf sentences

Benedikt Bollig, Dietrich Kuske

Journal:

Journal of Applied Logic

Year:

2012

Language:

english

File:

PDF, 182 KB

english, 2012

5

Event clock message passing automata: a logical characterization and an emptiness checking algorithm

Akshay, S., Bollig, Benedikt, Gastin, Paul

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.35 MB

english, 2013

6

Temporal logics for concurrent recursive programs: Satisfiability and model checking

Bollig, Benedikt, Cyriac, Aiswarya, Gastin, Paul, Zeitoun, Marc

Journal:

Journal of Applied Logic

Year:

2014

Language:

english

File:

PDF, 423 KB

english, 2014

7

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Frequency Linear-time Temporal Logic

Bollig, Benedikt, Decker, Normann, Leucker, Martin

Year:

2012

Language:

english

File:

PDF, 265 KB

english, 2012

8

[IEEE 2008 International Symposium on Applications and the Internet - Turku, Finland (2008.07.28-2008.08.1)] 2008 International Symposium on Applications and the Internet - Creating Location-Based Services by Utilising a Web of Places

Ostermaier, Benedikt, Bolliger, Philipp

Year:

2008

Language:

english

File:

PDF, 305 KB

english, 2008

9

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - The Complexity of Model Checking Multi-stack Systems

Bollig, Benedikt, Kuske, Dietrich, Mennicke, Roy

Year:

2013

Language:

english

File:

PDF, 286 KB

english, 2013

10

Pebble Weighted Automata and Weighted Logics

Bollig, Benedikt, Gastin, Paul, Monmege, Benjamin, Zeitoun, Marc

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 507 KB

english, 2014

11

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Logic for communicating automata with parameterized topology

Bollig, Benedikt

Year:

2014

Language:

english

File:

PDF, 382 KB

english, 2014

12

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Logical characterization of weighted pebble walking automata

Bollig, Benedikt, Gastin, Paul, Monmege, Benjamin, Zeitoun, Marc

Year:

2014

Language:

english

File:

PDF, 414 KB

english, 2014

13

[IEEE 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Kassel, Germany (2015.9.23-2015.9.25)] 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Towards Formal Verification of Distributed Algorithms

Bollig, Benedikt

Year:

2015

Language:

english

File:

PDF, 84 KB

english, 2015

14

The Complexity of Model Checking Multi-Stack Systems

Bollig, Benedikt, Kuske, Dietrich, Mennicke, Roy

Journal:

Theory of Computing Systems

Year:

2017

Language:

english

File:

PDF, 780 KB

english, 2017

15

New quantitative radiographic parameters for vertical and horizontal instability in acromioclavicular joint dislocations

Zumstein, Matthias A., Schiessl, Philippe, Ambuehl, Benedikt, Bolliger, Lilianna, Weihs, Johannes, Maurer, Martin H., Moor, Beat K., Schaer, Michael, Raniga, Sumit

Journal:

Knee Surgery, Sports Traumatology, Arthroscopy

Year:

2017

Language:

english

File:

PDF, 890 KB

english, 2017

16

Realizability of concurrent recursive programs

Bollig, Benedikt, Grindei, Manuela-Lidia, Habermehl, Peter

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 810 KB

english, 2017

17

An automata-theoretic approach to the verification of distributed algorithms

Aiswarya, C., Bollig, Benedikt, Gastin, Paul

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 1.62 MB

english, 2017

18

Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete

Atig, Mohamed Faouzi, Bollig, Benedikt, Habermehl, Peter

Journal:

International Journal of Foundations of Computer Science

Year:

2017

Language:

english

File:

PDF, 573 KB

english, 2017

19

Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic

Bollig, Benedikt, Fortin, Marie, Gastin, Paul

Journal:

Journal of Computer and System Sciences

Year:

2020

File:

PDF, 875 KB

2020